Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
نویسندگان
چکیده
منابع مشابه
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
We report on work in progress in the study of high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order π-calculus intended to capture several important mechanisms related to component programming, such as dynamic update, reconfiguration and code migration. In order to validate the definition of our calculus, we study its impl...
متن کاملProceedings of the Fourth Workshop on Programming Language
The management of the operations acting over distributed and virtual resources plays an important role for achieving the success of modern distributed applications. In this paper, we advocate a notion of resources as entities with their own local policies and containing their global interactive properties. We introduce a variant of π-calculus with primitives to declare, acquire and release reso...
متن کاملProceedings of the Third International Workshop on Proof-Carrying Code and Software Certification
In this paper, we propose a proof-carrying code framework for program-generators. The enabling technique is abstract parsing, a static string analysis technique, which is used as a component for generating and validating certificates. Our framework provides an efficient solution for certifying program-generators whose safety properties are expressed in terms of the grammar representing the gene...
متن کاملAdding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will reflect a particular model of concurrency, or libraries of types and routines can be written with different libraries implementing different models. This paper examines the two approaches, for object-oriented and non-o...
متن کاملProceedings of the Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
Aspect–oriented design allows for a better modularization of cross–cutting concerns in software systems. The design of personalized (adaptive) Web applications — which can be considered as concrete realizations of hypermedia systems — essentially adds user modeling actions (UMs) and adaptive behaviors (ABs) to the associative hypermedia structure comprised by nodes, contents and links. In conse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.69.0